Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z
نویسندگان
چکیده
Formal methods such as Z are generally criticised for their lack of practical applicability. As in other areas of software engineering, patterns help to construct, analyse and describe formal texts. Once a method has a catalogue of patterns, development can proceed by applying patterns, and by moving from one sort of pattern to another. This paper illustrates a developmental use of patterns. First, we describe the set of patterns that collectively represent the well-known Z structure, promotion. We then show how refactoring can be used to take an unstructured Z specification in to a promotion structure. Keyword: Z, patterns, refactoring, development methods
منابع مشابه
A Challenge Problem for the Verification and Validation of Model Transformations
Using patterns originating from the world of object-oriented software development such as design patterns, architectural patterns, and refactoring idioms has considerably simplified the design process of software systems. With the proliferation of Domain-Specific Languages, the generalization of OO patterns is a natural demand. A straightforward idea is to adapt OO patterns with automated too...
متن کاملUsing Design Patterns as Indicators of Refactoring Opportunities (to Aspects)
In this position paper, we argue that traditional object-oriented design patterns can be regarded as workarounds for limitations in current programming languages, including crosscutting concerns. Aspect-oriented programming (AOP) is able to modularise crosscutting concerns and overcomes many of the limitations. To illustrate, we mention a few examples. We describe several situations in which pa...
متن کاملExplanation of the Viewpoint of Dental Students Towards the Study Guide of the Oral Medicine Course
Background and aim: Study guide is a tool for establishing the student-centered learning process. It is an assortment for directing the student in the management of his learning by foreseeing educational obligations, aims and contents. Considering the important role of study guides in students' learning process, the aim of the present study was to explain the point of view of dental students to...
متن کاملApplying Design Patterns to Object-z Speciications of User-interfaces
Patterns provide an informal approach to the design of software. However patterns are compatible with more formal techniques for speciication. In this paper we describe a set of patterns for developing object-oriented software designs for user-interfaces and show how these patterns can be applied using Object-Z speciications as a guide. Collectively the patterns generate an interactor-based arc...
متن کاملPattern-based Rewriting through Abstraction
Model-based development relies on models in different phases for different purposes, with modelling patterns being used to document and gather knowledge about good practices in specific domains, to analyse the quality of existing designs, and to guide the construction and refactoring of models. Providing a formal basis for the use of patterns would also support their integration with existing a...
متن کامل